bitkeeper revision 1.1236.43.10 (42441785goVzEeVsbXZ1yuI--vCldQ)
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 25 Mar 2005 13:52:05 +0000 (13:52 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 25 Mar 2005 13:52:05 +0000 (13:52 +0000)
commit9e99b1d1303fd7fd1392c68044618ad4d5fdf56d
tree8af3ff4e598f0b1da86f49f94127b76e23eec3f4
parentbf559936d885a61921729d42e07cd2965a3bbb20
bitkeeper revision 1.1236.43.10 (42441785goVzEeVsbXZ1yuI--vCldQ)

Clean ptwr flush error path: it has a lot in common with the normal
exit path.
Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/mm.c